Formele wetenskap

Formele wetenskap is 'n tak van wetenskap wat dissiplines bestudeer wat gemoeid is met abstrakte strukture wat beskryf word deur formele stelsels, soos logika, wiskunde, statistiek, teoretiese rekenaarwetenskap, kunsmatige intelligensie, inligtingsteorie, spelteorie, stelselteorie, besluit-teorie, en teoretiese taalwetenskap. Terwyl die natuurwetenskappe en sosiale wetenskappe poog om fisiese stelsels en sosiale stelsels onderskeidelik te karakteriseer, met die gebruik van empiriese metodes, die formele wetenskappe gebruik taal gereedskap gemoeid met die karakterisering van abstrakte strukture wat deur formele stelsels beskryf word. Die formele wetenskappe help die natuur- en sosiale wetenskappe deur inligting te verskaf oor die strukture wat gebruik word om die fisiese wêreld te beskryf, en watter afleidings daaroor gemaak kan word.